Skip to content

fix(release): use case-insensitive label matching in check_release#158

Merged
jmeridth merged 1 commit into
mainfrom
fix/case-insensitive-label-check
Jun 22, 2026
Merged

fix(release): use case-insensitive label matching in check_release#158
jmeridth merged 1 commit into
mainfrom
fix/case-insensitive-label-check

Conversation

@jmeridth

Copy link
Copy Markdown
Collaborator

Proposed Changes

Lowercase PR labels before matching in the check_release gate job to preserve the case-insensitive behavior of the original GitHub Actions contains() expression replaced in #156.

What/Why

The bash label check introduced in #156 compares case-sensitively, while the contains() it replaced was case-insensitive. A consumer with a capitalized label (e.g., Release) would silently stop getting releases.

Proof it works

actionlint and shellcheck pass. The ${PR_LABELS,,} bash 4+ expansion lowercases all label names before comparison.

Risk + AI role

Low -- one-liner fix to a string comparison. AI-assisted (Claude Opus 4.6).

Review focus

Confirm bash 4+ lowercase expansion (${var,,}) is available on the ubuntu-latest GitHub Actions runner.

Readiness Checklist

Author/Contributor

  • If documentation is needed for this change, has that been included in this pull request

## What/Why

The old GitHub Actions `contains()` expression was case-insensitive, but
the bash replacement introduced in #156 compared labels case-sensitively.
Lowercase labels with `${PR_LABELS,,}` to preserve the original semantics.

## Proof it works

actionlint and shellcheck both pass with no errors.

## Risk + AI role

Low -- one-liner fix. AI-assisted (Claude Opus 4.6).

## Review focus

Confirm `${PR_LABELS,,}` (bash 4+ lowercase expansion) works on the
ubuntu-latest runner.

Signed-off-by: jmeridth <jmeridth@gmail.com>
@jmeridth jmeridth self-assigned this Jun 22, 2026
@github-actions github-actions Bot marked this pull request as ready for review June 22, 2026 21:19
@github-actions github-actions Bot requested a review from zkoppert as a code owner June 22, 2026 21:19
@jmeridth jmeridth merged commit 7fc8753 into main Jun 22, 2026
9 of 10 checks passed
@jmeridth jmeridth deleted the fix/case-insensitive-label-check branch June 22, 2026 21:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants